]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: sync dash padding with OSD
authorJakub Steiner <jimmac@gmail.com>
Mon, 12 Jan 2015 23:40:42 +0000 (00:40 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Feb 2015 14:14:45 +0000 (15:14 +0100)
commit3680f7c814d34375cea469b3afee3910cecf8b2c
treecdcbed719462bc6cd856622e7783e2e5fc27067e
parenta27ca0765a996ee53d76e26f390b52f63804e9e7
theme: sync dash padding with OSD
data/theme/_common.scss
data/theme/gnome-shell.css